Optimal. Leaf size=394 \[ \frac{4 b f^5 k n \text{PolyLog}\left (2,\frac{f \sqrt{x}}{e}+1\right )}{5 e^5}-\frac{2 \left (a+b \log \left (c x^n\right )\right ) \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{5 x^{5/2}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}-\frac{4 b n \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{25 x^{5/2}}+\frac{32 b f^2 k n}{225 e^2 x^{3/2}}+\frac{24 b f^4 k n}{25 e^4 \sqrt{x}}-\frac{7 b f^3 k n}{25 e^3 x}-\frac{b f^5 k n \log ^2(x)}{10 e^5}-\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right )}{25 e^5}+\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right ) \log \left (-\frac{f \sqrt{x}}{e}\right )}{5 e^5}+\frac{2 b f^5 k n \log (x)}{25 e^5}-\frac{9 b f k n}{100 e x^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.30474, antiderivative size = 394, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 7, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.233, Rules used = {2454, 2395, 44, 2376, 2394, 2315, 2301} \[ \frac{4 b f^5 k n \text{PolyLog}\left (2,\frac{f \sqrt{x}}{e}+1\right )}{5 e^5}-\frac{2 \left (a+b \log \left (c x^n\right )\right ) \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{5 x^{5/2}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}-\frac{4 b n \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{25 x^{5/2}}+\frac{32 b f^2 k n}{225 e^2 x^{3/2}}+\frac{24 b f^4 k n}{25 e^4 \sqrt{x}}-\frac{7 b f^3 k n}{25 e^3 x}-\frac{b f^5 k n \log ^2(x)}{10 e^5}-\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right )}{25 e^5}+\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right ) \log \left (-\frac{f \sqrt{x}}{e}\right )}{5 e^5}+\frac{2 b f^5 k n \log (x)}{25 e^5}-\frac{9 b f k n}{100 e x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2454
Rule 2395
Rule 44
Rule 2376
Rule 2394
Rule 2315
Rule 2301
Rubi steps
\begin{align*} \int \frac{\log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{x^{7/2}} \, dx &=-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{5 x^{5/2}}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-(b n) \int \left (-\frac{f k}{10 e x^3}+\frac{2 f^2 k}{15 e^2 x^{5/2}}-\frac{f^3 k}{5 e^3 x^2}+\frac{2 f^4 k}{5 e^4 x^{3/2}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right )}{5 e^5 x}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{5 x^{7/2}}+\frac{f^5 k \log (x)}{5 e^5 x}\right ) \, dx\\ &=-\frac{b f k n}{20 e x^2}+\frac{4 b f^2 k n}{45 e^2 x^{3/2}}-\frac{b f^3 k n}{5 e^3 x}+\frac{4 b f^4 k n}{5 e^4 \sqrt{x}}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{5 x^{5/2}}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{1}{5} (2 b n) \int \frac{\log \left (d \left (e+f \sqrt{x}\right )^k\right )}{x^{7/2}} \, dx-\frac{\left (b f^5 k n\right ) \int \frac{\log (x)}{x} \, dx}{5 e^5}+\frac{\left (2 b f^5 k n\right ) \int \frac{\log \left (e+f \sqrt{x}\right )}{x} \, dx}{5 e^5}\\ &=-\frac{b f k n}{20 e x^2}+\frac{4 b f^2 k n}{45 e^2 x^{3/2}}-\frac{b f^3 k n}{5 e^3 x}+\frac{4 b f^4 k n}{5 e^4 \sqrt{x}}-\frac{b f^5 k n \log ^2(x)}{10 e^5}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{5 x^{5/2}}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{1}{5} (4 b n) \operatorname{Subst}\left (\int \frac{\log \left (d (e+f x)^k\right )}{x^6} \, dx,x,\sqrt{x}\right )+\frac{\left (4 b f^5 k n\right ) \operatorname{Subst}\left (\int \frac{\log (e+f x)}{x} \, dx,x,\sqrt{x}\right )}{5 e^5}\\ &=-\frac{b f k n}{20 e x^2}+\frac{4 b f^2 k n}{45 e^2 x^{3/2}}-\frac{b f^3 k n}{5 e^3 x}+\frac{4 b f^4 k n}{5 e^4 \sqrt{x}}-\frac{4 b n \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{25 x^{5/2}}+\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right ) \log \left (-\frac{f \sqrt{x}}{e}\right )}{5 e^5}-\frac{b f^5 k n \log ^2(x)}{10 e^5}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{5 x^{5/2}}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{1}{25} (4 b f k n) \operatorname{Subst}\left (\int \frac{1}{x^5 (e+f x)} \, dx,x,\sqrt{x}\right )-\frac{\left (4 b f^6 k n\right ) \operatorname{Subst}\left (\int \frac{\log \left (-\frac{f x}{e}\right )}{e+f x} \, dx,x,\sqrt{x}\right )}{5 e^5}\\ &=-\frac{b f k n}{20 e x^2}+\frac{4 b f^2 k n}{45 e^2 x^{3/2}}-\frac{b f^3 k n}{5 e^3 x}+\frac{4 b f^4 k n}{5 e^4 \sqrt{x}}-\frac{4 b n \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{25 x^{5/2}}+\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right ) \log \left (-\frac{f \sqrt{x}}{e}\right )}{5 e^5}-\frac{b f^5 k n \log ^2(x)}{10 e^5}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{5 x^{5/2}}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{4 b f^5 k n \text{Li}_2\left (1+\frac{f \sqrt{x}}{e}\right )}{5 e^5}+\frac{1}{25} (4 b f k n) \operatorname{Subst}\left (\int \left (\frac{1}{e x^5}-\frac{f}{e^2 x^4}+\frac{f^2}{e^3 x^3}-\frac{f^3}{e^4 x^2}+\frac{f^4}{e^5 x}-\frac{f^5}{e^5 (e+f x)}\right ) \, dx,x,\sqrt{x}\right )\\ &=-\frac{9 b f k n}{100 e x^2}+\frac{32 b f^2 k n}{225 e^2 x^{3/2}}-\frac{7 b f^3 k n}{25 e^3 x}+\frac{24 b f^4 k n}{25 e^4 \sqrt{x}}-\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right )}{25 e^5}-\frac{4 b n \log \left (d \left (e+f \sqrt{x}\right )^k\right )}{25 x^{5/2}}+\frac{4 b f^5 k n \log \left (e+f \sqrt{x}\right ) \log \left (-\frac{f \sqrt{x}}{e}\right )}{5 e^5}+\frac{2 b f^5 k n \log (x)}{25 e^5}-\frac{b f^5 k n \log ^2(x)}{10 e^5}-\frac{f k \left (a+b \log \left (c x^n\right )\right )}{10 e x^2}+\frac{2 f^2 k \left (a+b \log \left (c x^n\right )\right )}{15 e^2 x^{3/2}}-\frac{f^3 k \left (a+b \log \left (c x^n\right )\right )}{5 e^3 x}+\frac{2 f^4 k \left (a+b \log \left (c x^n\right )\right )}{5 e^4 \sqrt{x}}-\frac{2 f^5 k \log \left (e+f \sqrt{x}\right ) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}-\frac{2 \log \left (d \left (e+f \sqrt{x}\right )^k\right ) \left (a+b \log \left (c x^n\right )\right )}{5 x^{5/2}}+\frac{f^5 k \log (x) \left (a+b \log \left (c x^n\right )\right )}{5 e^5}+\frac{4 b f^5 k n \text{Li}_2\left (1+\frac{f \sqrt{x}}{e}\right )}{5 e^5}\\ \end{align*}
Mathematica [A] time = 0.451916, size = 422, normalized size = 1.07 \[ \frac{-720 b f^5 k n x^{5/2} \text{PolyLog}\left (2,-\frac{f \sqrt{x}}{e}\right )-72 f^5 k x^{5/2} \log \left (e+f \sqrt{x}\right ) \left (5 a+5 b \log \left (c x^n\right )-5 b n \log (x)+2 b n\right )-360 a e^5 \log \left (d \left (e+f \sqrt{x}\right )^k\right )-180 a e^2 f^3 k x^{3/2}+120 a e^3 f^2 k x-90 a e^4 f k \sqrt{x}+360 a e f^4 k x^2+180 a f^5 k x^{5/2} \log (x)-360 b e^5 \log \left (c x^n\right ) \log \left (d \left (e+f \sqrt{x}\right )^k\right )+120 b e^3 f^2 k x \log \left (c x^n\right )-180 b e^2 f^3 k x^{3/2} \log \left (c x^n\right )-90 b e^4 f k \sqrt{x} \log \left (c x^n\right )+360 b e f^4 k x^2 \log \left (c x^n\right )+180 b f^5 k x^{5/2} \log (x) \log \left (c x^n\right )-144 b e^5 n \log \left (d \left (e+f \sqrt{x}\right )^k\right )-252 b e^2 f^3 k n x^{3/2}+128 b e^3 f^2 k n x-81 b e^4 f k n \sqrt{x}+864 b e f^4 k n x^2-360 b f^5 k n x^{5/2} \log (x) \log \left (\frac{f \sqrt{x}}{e}+1\right )-90 b f^5 k n x^{5/2} \log ^2(x)+72 b f^5 k n x^{5/2} \log (x)}{900 e^5 x^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.023, size = 0, normalized size = 0. \begin{align*} \int{(a+b\ln \left ( c{x}^{n} \right ) )\ln \left ( d \left ( e+f\sqrt{x} \right ) ^{k} \right ){x}^{-{\frac{7}{2}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{{\left (b \sqrt{x} \log \left (c x^{n}\right ) + a \sqrt{x}\right )} \log \left ({\left (f \sqrt{x} + e\right )}^{k} d\right )}{x^{4}}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (b \log \left (c x^{n}\right ) + a\right )} \log \left ({\left (f \sqrt{x} + e\right )}^{k} d\right )}{x^{\frac{7}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]